Rathjen, Michael: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Recursively Mahlo Property in Second Order Arithmetic

Michael Rathjen

Journal:

Mathematical Logic Quarterly

Year:

1996

Language:

english

File:

PDF, 388 KB

english, 1996

2

An ordinal analysis of parameter free

Michael Rathjen

Journal:

Archive for Mathematical Logic

Year:

2005

Language:

english

File:

PDF, 944 KB

english, 2005

3

The Role of Parameters in Bar Rule and Bar Induction

Michael Rathjen

Journal:

Journal of Symbolic Logic

Year:

1991

Language:

english

File:

PDF, 1007 KB

english, 1991

4

The natural numbers in constructive set theory

Michael Rathjen

Journal:

Mathematical Logic Quarterly

Year:

2008

Language:

english

File:

PDF, 191 KB

english, 2008

5

Inaccessibility in constructive set theory and type theory

Michael Rathjen, Edward R. Griffor, Erik Palmgren

Journal:

Annals of Pure and Applied Logic

Year:

1998

Language:

english

File:

PDF, 1.27 MB

english, 1998

6

The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory

Michael Rathjen

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.92 MB

english, 2005

7

Stranded Assets as a Key Concept to Guide Investment Strategies for Sustainable Development Goal 6

Kalin, Robert, Mwanamveka, Joseph, Coulson, Andrea, Robertson, Donald, Clark, Holly, Rathjen, Jon, Rivett, Michael

Journal:

Year:

2019

Language:

english

File:

PDF, 2.42 MB

english, 2019

8

How to develop Proof-Theoretic Ordinal Functions on the basis of admissible ordinals

Michael Rathjen

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 405 KB

english, 1993

9

A note on Bar Induction in Constructive Set Theory

Michael Rathjen

Journal:

Mathematical Logic Quarterly

Year:

2006

Language:

english

File:

PDF, 113 KB

english, 2006

10

Kripke-Platek Set Theory and the Anti-Foundation Axiom

Michael Rathjen

Journal:

Mathematical Logic Quarterly

Year:

2001

Language:

english

File:

PDF, 116 KB

english, 2001

11

Derivatives of normal functions in reverse mathematics

Freund, Anton, Rathjen, Michael

Journal:

Annals of Pure and Applied Logic

Year:

2021

File:

PDF, 831 KB

2021

12

Proof-theoretic investigations on Kruskal's theorem

Michael Rathjen, Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 2.26 MB

english, 1993

13

Ordinal notations based on a weakly Mahlo cardinal

Michael Rathjen

Journal:

Archive for Mathematical Logic

Year:

1990

Language:

english

File:

PDF, 757 KB

english, 1990

14

Introduction to SWAT+, A Completely Restructured Version of the Soil and Water Assessment Tool

Bieger, Katrin, Arnold, Jeffrey G., Rathjens, Hendrik, White, Michael J., Bosch, David D., Allen, Peter M., Volk, Martin, Srinivasan, Raghavan

Journal:

JAWRA Journal of the American Water Resources Association

Year:

2016

Language:

english

File:

PDF, 766 KB

english, 2016

15

The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory

Michael Rathjen

Journal:

Year:

2005

Language:

english

File:

PDF, 297 KB

english, 2005

16

Characterizing the interpretation of set theory in Martin-Löf type theory

Michael Rathjen, Sergei Tupailo

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 464 KB

english, 2006

17

Constructive Zermelo–Fraenkel set theory and the limited principle of omniscience

Rathjen, Michael

Journal:

Annals of Pure and Applied Logic

Year:

2014

Language:

english

File:

PDF, 272 KB

english, 2014

18

Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM

Michael Rathjen

Journal:

Archive for Mathematical Logic

Year:

1994

Language:

english

File:

PDF, 1.04 MB

english, 1994

19

An ordinal analysis of stability

Michael Rathjen

Journal:

Archive for Mathematical Logic

Year:

2005

Language:

english

File:

PDF, 561 KB

english, 2005

20

Oxidation of oxa and thia fatty acids and related compounds catalysed by 5- and 15-lipoxygenase

Christopher J. Easton, Thomas A. Robertson, Michael J. Pitt, Deborah A. Rathjen, Antonio Ferrante, Alfred Poulos

Journal:

Bioorganic & Medicinal Chemistry

Year:

2001

Language:

english

File:

PDF, 185 KB

english, 2001

21

Proof-theoretic analysis of KPM

Michael Rathjen

Journal:

Archive for Mathematical Logic

Year:

1991

Language:

english

File:

PDF, 1.38 MB

english, 1991

22

A note on the Σ1 spectrum of a theory

Michael Möllerfeld, Michael Rathjen

Journal:

Archive for Mathematical Logic

Year:

2002

Language:

english

File:

PDF, 51 KB

english, 2002

23

Synthesis of Polyunsaturated β-Oxa Fatty Acids via Rhodium Mediated Carbenoid Insertion

Pitt, Michael J., Easton, Christopher J., Moody, Christopher J., Ferrante, Antonio, Poulos, Alfred, Rathjen, Deborah A.

Journal:

Year:

1997

File:

PDF, 295 KB

1997

24

Gentzen's Centenary || Goodstein’s Theorem Revisited

Kahle, Reinhard, Rathjen, Michael

Year:

2015

Language:

english

File:

PDF, 191 KB

english, 2015

25

The Legacy of Kurt SchÃ¼tte ||

Kahle, Reinhard, Rathjen, Michael

Year:

2020

File:

PDF, 12.78 MB

2020

26

Synthesis of hydroperoxide and perketal derivatives of polyunsaturated fatty acids as potential antimalarial agents

Michael J. Pitt, Christopher J. Easton, Thomas A. Robertson, Lakshmi M. Kumaratilake, Antonio Ferrante, Alfred Poulos, Deborah A. Rathjen

Journal:

Tetrahedron Letters

Year:

1998

Language:

english

File:

PDF, 241 KB

english, 1998

27

Well-partial-orderings and the big Veblen number

Van der Meeren, Jeroen, Rathjen, Michael, Weiermann, Andreas

Journal:

Archive for Mathematical Logic

Year:

2015

Language:

english

File:

PDF, 405 KB

english, 2015

28

Delayed Neurological Deficit After Total Hip Arthroplasty

Ozelsel, Timur J. P., Hein, H. A. Tillmann, Marcel, Randy J., Rathjen, Kurt W., Ramsay, Michael A. E., Jackson, Robert W.

Journal:

Anesthesia & Analgesia

Year:

1998

Language:

english

File:

PDF, 259 KB

english, 1998

29

The Receptor-Like Kinase SERK3/BAK1 Is Required for Basal Resistance against the Late Blight Pathogen Phytophthora infestans in Nicotiana benthamiana

Chaparro-Garcia, Angela, Wilkinson, Rachael C., Gimenez-Ibanez, Selena, Findlay, Kim, Coffey, Michael D., Zipfel, Cyril, Rathjen, John P., Kamoun, Sophien, Schornack, Sebastian, Yang, Ching-Hong

Journal:

Year:

2011

Language:

english

File:

PDF, 5.92 MB

english, 2011

30

Is Justice Blind: An Emprical Investigation of a Normative Ideal

Harold J. Spaeth, David B. Meltz, Gregory J. Rathjen and Michael V. Haselswerdt

Journal:

Law & Society Review

Year:

1972

Language:

english

File:

PDF, 541 KB

english, 1972

31

The strength of Martin-Löf type theory with a superuniverse. Part II

Michael Rathjen

Journal:

Archive for Mathematical Logic

Year:

2001

Language:

english

File:

PDF, 193 KB

english, 2001

32

Explicit mathematics with the monotone fixed point principle. II: Models

Rathjen, Michael

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 1.70 MB

english, 1999

33

Radiation exposure in whole-body computed tomography of multiple trauma patients: Bearing devices and patient positioning

Björn Loewenhardt, Michael Buhl, André Gries, Clemens-Alexander Greim, Achim Hellinger, Martin Hessmann, Thomas Rathjen, Michael Reinert, Christoph Manke, Michael Bernhard

Journal:

Year:

2012

Language:

english

File:

PDF, 951 KB

english, 2012

34

Reflections on Frege and Hilbert || The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory

Michael Rathjen

Journal:

Year:

2005

Language:

english

File:

PDF, 4.06 MB

english, 2005

35

Dose effects and image quality: Is there any influence by bearing devices in whole-body computed tomography in trauma patients?

Loewenhardt, Björn, Hüttinger, Robert, Reinert, Michael, Hering, Bernhard, Rathjen, Thomas, Gries, André, Manke, Christoph, Bernhard, Michael

Journal:

Year:

2014

Language:

english

File:

PDF, 1.87 MB

english, 2014

36

An order-theoretic characterization of the Howard–Bachmann-hierarchy

Van der Meeren, Jeroen, Rathjen, Michael, Weiermann, Andreas

Journal:

Archive for Mathematical Logic

Year:

2017

Language:

english

File:

PDF, 733 KB

english, 2017

37

SWAT‐LUT: A Desktop Graphical User Interface for Updating Land Use in SWAT

Moriasi, Daniel N., Pai, Naresh, Steiner, Jean L., Gowda, Prasanna H., Winchell, Michael, Rathjens, Hendrik, Starks, Patrick J., Verser, J. Alan

Journal:

JAWRA Journal of the American Water Resources Association

Year:

2019

Language:

english

File:

PDF, 1.55 MB

english, 2019

38

Realizing Mahlo set theory in type theory

Michael Rathjen

Journal:

Archive for Mathematical Logic

Year:

2003

Language:

english

File:

PDF, 164 KB

english, 2003

39

A note on the theory of positive induction,({{ m ID}^*_1})

Bahareh Afshari, Michael Rathjen

Journal:

Archive for Mathematical Logic

Year:

2010

Language:

english

File:

PDF, 147 KB

english, 2010

40

The disjunction and related properties for constructive Zermelo-Fraenkel set theory

Rathjen, Michael

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.23 MB

english, 2005

41

Delayed Neurological Deficit After Total Hip Arthroplasty

Ozelsel, Timur J. P., Hein, H. A. Tillmann, Marcel, Randy J., Rathjen, Kurt W., Ramsay, Michael A. E., Jackson, Robert W.

Journal:

Anesthesia & Analgesia

Year:

1998

Language:

english

File:

PDF, 259 KB

english, 1998

42

SAE Technical Paper Series [SAE International International Conference On Environmental Systems - (JUL. 13, 1998)] SAE Technical Paper Series - Uncertainty Analysis in Thermal Control

Rath, Michael, Rathjen, Harold, Zehner, Klaus

Year:

1998

Language:

english

File:

PDF, 145 KB

english, 1998

43

Isolation and characterisation of a cDNA encoding a zona pellucida protein (ZPB) from the marsupial Trichosurus vulpecula (brushtail possum)

Bryan P. Haines, Peter D. Rathjen, Rory M. Hope, Linda M. Whyatt, Michael K. Holl, William G. Breed

Journal:

Molecular Reproduction and Development

Year:

1999

Language:

english

File:

PDF, 827 KB

english, 1999

44

A proof-theoretic characterization of the primitive recursive set functions

Rathjen, Michael

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 996 KB

english, 1992

45

INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN

RATHJEN, MICHAEL

Journal:

Journal of Symbolic Logic

Year:

2016

Language:

english

File:

PDF, 195 KB

english, 2016

46

Stranded Assets as a Key Concept to Guide Investment Strategies for Sustainable Development Goal 6

Kalin, Robert, Mwanamveka, Joseph, Coulson, Andrea, Robertson, Donald, Clark, Holly, Rathjen, Jon, Rivett, Michael

Journal:

Year:

2019

File:

PDF, 2.42 MB

2019

47

Experimental and DFT Studies on the Identity Exchange Reactions between Phenyl Chalcogen Iranium Ions and Alkenes

Brydon, Samuel C., Ren, Zhonghua, da Silva, Gabriel, Lim, S. Fern, Khairallah, George N., Rathjen, Michael J., White, Jonathan M., O’Hair, Richard A. J.

Journal:

Journal of Physical Chemistry A

Year:

2019

File:

PDF, 2.46 MB

2019

48

An ordinal analysis for theories of self-referential truth

Graham Emil Leigh, Michael Rathjen

Journal:

Archive for Mathematical Logic

Year:

2010

Language:

english

File:

PDF, 413 KB

english, 2010

49

On the constructive Dedekind reals

Robert S. Lubarsky, Michael Rathjen

Journal:

Logic and Analysis

Year:

2008

Language:

english

File:

PDF, 252 KB

english, 2008

50

Characterization of Functional Domains of the Tenascin-R (Restrictin) Polypeptide: Cell Attachment Site, Binding with F11, and Enhancement of F11-Mediated Neurite Outgrowth by Tenascin-R

Ursel Nörenberg, Michael Hubert, Thomas Brümmendorf, Attila Tárnok and Fritz G. Rathjen

Journal:

The Journal of Cell Biology

Year:

1995

Language:

english

File:

PDF, 1.07 MB

english, 1995

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски